On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing

Computation of partial automata through span composition p. 15 Degenerate arrays : a framework for uncertain data tables p. 21 Neural network sensitivity analysis applied for the reduction of the sensor matrix p. 27 Fuzzy modeling for coal seams a case study for a hard-coal mine p. 33 Optimization of a class of uncertain systems based on uncertain variables p. 38 Computational simulation of categorical constructions p. 44 Composing transitions into transactions in UML diagrams p. 50 Theory-building with system dynamics : principles and practices p. 56 Ontology integration for statistical information p. 63 On recursive functions and well-founded relations in the calculus of constructions p. 69 Longest sorted sequence algorithm for parallel text alignment p. 81 Information retrieval and large text structured corpora p. 91 Meteorological image descriptors p. 101 Towards a certified and efficient computing of Grobner bases p. 111 CheapTB : a low cost of operation distributed filesystem p. 121 Spelling correction on technical documents p. 131 Verification of language based fault-tolerance p. 140 Applying stacking and corpus transformation to a chunking task p. 150 Extracting computer algebra programs from statements p. 159 Integrating syntactic information by means of data fusion techniques p. 169 Unsupervised learning in information retrieval using NOW architectures p. 179 An iterative method for mining frequent temporal patterns p. 189 Data mining with scatter search p. 199 Web usage mining project for improving Web-based learning sites p. 205 Similarity queries in data bases using metric distances-from modeling semantics to its maintenance p. 211 A WEB-CASE tool prototype for hybrid software development p. 217 An augmentative communication system based on adaptive evolutionary hypermedia systems p. 223 The gaps of the thesaurus wordnet used in information retrieval p. 229 Fuzzy adaptive objects (logic of monitors) p. 235 A model-based architecture for fuzzy temporal diagnosis p. 241 Extension of ontologies assisted by automated reasoning systems p. 247 A software architecture for effective document identifier reassignment p. 254 An ontology for reusing synthetic tasks p. 263 A tractable subclass of fuzzy constraint networks p. 269 Parallel state space generation and exploration on shared-memory architectures p. 275